Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
741	28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:31 Mathematics Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Linear logic Sequent Rule of inference Function Logic Mathematical logic Proof theory
742	The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2007-05-23 16:37:29 Automated theorem proving Proof theory Logic in computer science Non-classical logic Deduction Linear logic Intuitionistic logic Natural deduction Logic programming Logic Mathematical logic Mathematics
743	Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-06-23 09:43:10 Sequent calculus Curry–Howard correspondence Entailment Linear logic Sequent Combinatory logic Natural deduction Logic Mathematical logic Proof theory
744	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
745	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
746	Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2012-01-04 16:21:37 Sequent calculus Sequent Symbol Linear logic Entailment Cut-elimination theorem Interpretation Rule of inference Logic programming Logic Mathematical logic Proof theory
747	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
748	Feebly secure cryptographic primitives∗ Edward A. Hirsch Olga Melanich Sergey I. Nikolenko Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2012-01-21 00:18:10 Computational complexity theory Linear algebra Matrix theory Matrix Circuit complexity Boolean circuit Circuit Invertible matrix Arithmetic circuit complexity Algebra Theoretical computer science Mathematics
749	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
750	Lifting-journal-final.dvi Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2012-03-23 13:01:55 Operator theory Ordinary differential equations Spectral theory Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Function

UPDATE